|
|
Řešení spojitých systémů evolučními výpočetními technikami
Lang, Stanislav ; Šeda, Miloš (oponent) ; Olehla, Miroslav (oponent) ; Matoušek, Radomil (vedoucí práce)
Práce je věnována problematice řešení spojitých systémů evolučními výpočetními technikami. Evoluční výpočetní techniky spadají do oblasti studia softcomputingu, jedná se o pokročilé optimalizační metaheuristiky, které se s postupným růstem výpočetního výkonu počítačů stávají stále více používanými metodami řešení složitých optimalizačních problémů. Řešení spojitých systémů, potažmo syntéza spojitých regulačních obvodů, je jednou z oblastí, kde tyto pokročilé algoritmy nalézají své uplatnění. Při řešení spojitých systémů se zaměříme na problematiku regulace. Evoluční výpočetní techniky se pak mohou stát nástrojem nejen pro optimalizaci parametrů regulátoru, ale i pro návrh jeho struktury. Pro optimalizaci parametrů regulátoru lze využít mnoho různých algoritmů (genetický algoritmus, diferenciální evoluce, atd.), pro návrh struktury se setkáváme běžně s využitím tzv. gramatické evoluce. Nasazení gramatické evoluce však není nutné, pokud je využito vhodného kódování, jak je navrženo v předložené práci. Práce prezentuje metodu návrhu struktury a parametrů obecného lineárního regulátoru s využitím genetického algoritmu. V rámci polynomiální teorie řízení se též setkáme s označením polynomiální regulátor. Způsob kódování popisu obecného lineárního regulátoru do genetického řetězce je stěžejní, určuje množinu algoritmů použitelných pro optimalizaci a ovlivňuje efektivitu výpočtů. Popsané kódování, efektivní implementace EVT, včetně multikriteriální optimalizace je stěžejním přínosem této práce.
|
|
|
Odstraňování artefaktů JPEG komprese obrazových dat
Lopata, Jan ; Kučera, Václav (vedoucí práce) ; Šroubek, Filip (oponent)
Tato práce se zabývá odstraňováním obrazových artefaktů typických pro JPEG kompresi. Nejprve jsme popsali matematickou formulaci formátu JPEG a pro- blému odstraňování obrazových artefaktů. Poté jsme tento problém přeformu- lovali na optimalizační problém, kde minimalizovaná funkce je získána pomocí Bayesovy věty a komplexních waveletů. Popsali jsme proximální operátory a al- goritmy a aplikovali je na minimalizaci daného funkcionálu. Finální algoritmus jsme implementovali v MATLABu a testovali na několika testovacích problémech. 1
|
|
|
Řešení spojitých systémů evolučními výpočetními technikami
Lang, Stanislav ; Šeda, Miloš (oponent) ; Olehla, Miroslav (oponent) ; Matoušek, Radomil (vedoucí práce)
Práce je věnována problematice řešení spojitých systémů evolučními výpočetními technikami. Evoluční výpočetní techniky spadají do oblasti studia softcomputingu, jedná se o pokročilé optimalizační metaheuristiky, které se s postupným růstem výpočetního výkonu počítačů stávají stále více používanými metodami řešení složitých optimalizačních problémů. Řešení spojitých systémů, potažmo syntéza spojitých regulačních obvodů, je jednou z oblastí, kde tyto pokročilé algoritmy nalézají své uplatnění. Při řešení spojitých systémů se zaměříme na problematiku regulace. Evoluční výpočetní techniky se pak mohou stát nástrojem nejen pro optimalizaci parametrů regulátoru, ale i pro návrh jeho struktury. Pro optimalizaci parametrů regulátoru lze využít mnoho různých algoritmů (genetický algoritmus, diferenciální evoluce, atd.), pro návrh struktury se setkáváme běžně s využitím tzv. gramatické evoluce. Nasazení gramatické evoluce však není nutné, pokud je využito vhodného kódování, jak je navrženo v předložené práci. Práce prezentuje metodu návrhu struktury a parametrů obecného lineárního regulátoru s využitím genetického algoritmu. V rámci polynomiální teorie řízení se též setkáme s označením polynomiální regulátor. Způsob kódování popisu obecného lineárního regulátoru do genetického řetězce je stěžejní, určuje množinu algoritmů použitelných pro optimalizaci a ovlivňuje efektivitu výpočtů. Popsané kódování, efektivní implementace EVT, včetně multikriteriální optimalizace je stěžejním přínosem této práce.
|
|
|
Odstraňování artefaktů JPEG komprese obrazových dat
Lopata, Jan ; Kučera, Václav (vedoucí práce) ; Šroubek, Filip (oponent)
Tato práce se zabývá odstraňováním obrazových artefaktů typických pro JPEG kompresi. Nejprve jsme popsali matematickou formulaci formátu JPEG a pro- blému odstraňování obrazových artefaktů. Poté jsme tento problém přeformu- lovali na optimalizační problém, kde minimalizovaná funkce je získána pomocí Bayesovy věty a komplexních waveletů. Popsali jsme proximální operátory a al- goritmy a aplikovali je na minimalizaci daného funkcionálu. Finální algoritmus jsme implementovali v MATLABu a testovali na několika testovacích problémech. 1
|
|
|
Logické úlohy a hlavolamy jako optimalizační problémy
Lukesová, Kristýna ; Chýna, Vladislav (vedoucí práce) ; Šindelářová, Irena (oponent)
V této práci aplikuji klasické optimalizační problémy, jako jsou například přiřazovací nebo pokrývací problém, na logické hádanky či hlavolamy. Matematický model, popis a typický příklad ke každému v práci použitému optimalizačnímu problému je vypsán v první části práce. Druhá část práce obsahuje aplikaci těchto modelů na samotné logické úlohy, příkladem budiž Sudoku či Einsteinův hlavolam. Hádanky jsou rozděleny na jednodušší a složitější. Ke každé z nich je vždy uvedeno její zadání, zdroj a popsán způsob řešení. K výpočtům příkladů jsem použila Lingo nebo MS Excel, popřípadě obojí. Cílem práce je ukázat možnost řešit logické hádanky a hlavolamy za použití optimalizačních problémů a tím jen potvrdit široké možnosti využití těchto modelů. Řešené příklady mohou posloužit jako zpestření či objasnění učiva.
|
|
|
Fastfood nutriční problém
Hyblerová, Zuzana ; Kuncová, Martina (vedoucí práce) ; Skočdopolová, Veronika (oponent)
Práce vychází z teorie matematického programování, konkrétně z modelu nutričního problému. Cílem je nalezení optimálního menu s minimální celkovou cenou a přihlédnutím k omezením daných výživovými, tedy nutričními, hodnotami pro různé skupiny zákazníků fastfoodů. Model je aplikován na soubor potravin a nápojů nabízených ve vybraných fastfoodech v ČR.
|
host ::
RSS.